Wyniki
-
The semantics of flang
Andrei Mantsivoda
Bulletin of the Section of Logic , 24 /1 (1995) s. 26-30 -
Multidimensional algebra on the generalized sequences
Andrei Kouznetsov
Bulletin of the Section of Logic , 29 /4 (2000) s. 171-179 -
Deduction Chains and DC-like Decision Procedure for Guarded Logic
Andrei Kouznetsov
Bulletin of the Section of Logic , 33 /1 (2004) s. 53-65 -
Logical Approach to p-adic Probabilities
Andrei Khrennikov, Andrew Schumann
Bulletin of the Section of Logic , 35 /1 (2006) s. 49-57